Mechanizing KADS models of expertise with MODEL-K

To close the gap between knowledge level and symbol level, the MODEL-K language allows to specify KADS conceptual models and to refine them to operational systems. Since both activities may be arbitrarily interleaved, early prototyping is supported at the highest level. Systems written in MODEL-K contain their conceptual model, making them more transparent, easier to communicate to the expert, to explain to the user, and to maintain by the knowledge engineer.